Search results for "Algebraic operation"
showing 8 items of 8 documents
Vagueness and Roughness
2008
The paper proposes a new formal approach to vagueness and vague sets taking inspirations from Pawlak's rough set theory. Following a brief introduction to the problem of vagueness, an approach to conceptualization and representation of vague knowledge is presented from a number of different perspectives: those of logic, set theory, algebra, and computer science. The central notion of the vague set, in relation to the rough set, is defined as a family of sets approximated by the so called lower and upper limits. The family is simultaneously considered as a family of all denotations of sharp terms representing a suitable vague term, from the agent's point of view. Some algebraic operations on…
Categorical Modeling Method of Intelligent WorkFlow
2018
A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. It can provide us with the features that must characterize both the DSL language and the Modeling Method concept.
Robust energy-to-peak sideslip angle estimation with applications to ground vehicles
2015
Abstract In this paper, the observer design problem for the sideslip angle of ground vehicles is investigated. The sideslip angle is an important signal for the vehicle lateral stability, which is not measurable by using an affordable physical sensor. Therefore, we aim to estimate the sideslip angle with the yaw rate measurements by employing the vehicle dynamics. The nonlinear lateral dynamics is modeled firstly. As the tyre model is nonlinear and the road adhesive coefficient is subject to a large variation, the nonlinear lateral dynamics is transformed into an uncertain model. Considering the variation of longitudinal velocity, an uncertain linear-parameter-varying (LPV) system is obtain…
Functions definable by numerical set-expressions
2011
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of "additive circuits". If they are confined to the usual Boolean operations together with the result of lifting addition and multiplication to the level of sets, we speak of "arithmetic circuits". In this paper, we investigate the definability of sets and functions by means of additive and arithmetic circuits, occasionally augmented with additional operations.
Categorical Modeling Method, Proof of Concept for the Petri Net Language
2019
Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provi…
Some fourth order CY-type operators with non symplectically rigid monodromy
2012
We study tuples of matrices with rigidity index two in $\Sp_4(\mathbb{C})$, which are potentially induced by differential operators of Calabi-Yau type. The constructions of those monodromy tuples via algebraic operations and middle convolutions and the related constructions on the level differential operators lead to previously known and new examples.
Fixed-size Quadruples for a New, Hardware-Oriented Representation of the 4D Clifford Algebra
2010
Clifford algebra (geometric algebra) offers a natural and intuitive way to model geometry in fields as robotics, machine vision and computer graphics. This paper proposes a new representation based on fixed-size elements (quadruples) of 4D Clifford algebra and demonstrates that this choice leads to an algorithmic simplification which in turn leads to a simpler and more compact hardware implementation of the algebraic operations. In order to prove the advantages of the new, quadruple-based representation over the classical representation based on homogeneous elements, a coprocessing core supporting the new fixed-size Clifford operands, namely Quad-CliffoSor (Quadruple-based Clifford coproces…
A fuzzy-based tool for modelization and analysis of the vulnerability of aquifers: a case study
2005
Abstract A fuzzy-based tool, called FUZZY-SRA (Fuzzy Spatial Reliability Analysis), is used for realizing a more “reliable” study of the values of the final parameters concerning the vulnerability of aquifers located in the territory of Cava de' Tirreni, city in the district of Salerno (Italy). The SINTACS method is adopted for evaluating the involved parameters and these evaluations are modelled from attributes represented from triangular fuzzy numbers which supply the overall final information if combined with suitable algebraic operations. The tool FUZZY-SRA is implemented inside a GIS (Geographical Information Systems) software.